043e46fcc19294aeeba7d146dbee52348a0b043e,src/main/java/io/vertx/ext/stomp/DefaultAbortHandler.java,DefaultAbortHandler,handle,#ServerFrame#,14
Before Change
return;
}
Transaction transaction = sf.connection().handler().getTransaction(sf.connection(), txId);
if (transaction == null) {
Frame error = Frames.createErrorFrame("Unknown transaction",
Headers.create(Frame.TRANSACTION, txId),
"The transaction id is unknown.");
sf.connection().write(error).close();
return;
}
transaction.clear();
sf.connection().handler().unregisterTransaction(transaction);
Frames.handleReceipt(sf.frame(), sf.connection());
}
After Change
return;
}
if (! Transactions.INSTANCE.unregisterTransaction(sf.connection(), txId)) {
Frame error = Frames.createErrorFrame("Unknown transaction",
Headers.create(Frame.TRANSACTION, txId),
"The transaction id is unknown.");